von Wright, Joakim: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (36)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A comparison of HOL and ALF formalizations of a categorical coherence theorem

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 811 KB

english, 1996

2

Preface: Volume 70, Issue 3

John Derrick, Eerke Boiten, Jim Woodcock, Joakim von Wright

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2002

Мова:

english

Файл:

PDF, 47 KB

english, 2002

3

Structured calculational proof

Ralph Back, Jim Grundy, Joakim von Wright

Журнал:

Formal Aspects of Computing

Рік:

1997

Мова:

english

Файл:

PDF, 895 KB

english, 1997

4

Book reviews

Joakim von Wright, Peter Jeavons, Julian Bradfield, Muffy Thomas, David Lester

Журнал:

Formal Aspects of Computing

Рік:

1995

Мова:

english

Файл:

PDF, 498 KB

english, 1995

5

Encoding, Decoding and Data Refinement

Ralph-Johan Back, Joakim von Wright

Журнал:

Formal Aspects of Computing

Рік:

2000

Мова:

english

Файл:

PDF, 229 KB

english, 2000

6

Class Refinement as Semantics of Correct Object Substitutability

Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Журнал:

Formal Aspects of Computing

Рік:

2000

Мова:

english

Файл:

PDF, 236 KB

english, 2000

7

Enabledness and termination in refinement algebra

Kim Solin, Joakim von Wright

Журнал:

Science of Computer Programming

Рік:

2009

Мова:

english

Файл:

PDF, 710 KB

english, 2009

8

Contracts, Games, and Refinement

Ralph-Johan Back, Joakim von Wright

Журнал:

Information and Computation

Рік:

2000

Мова:

english

Файл:

PDF, 208 KB

english, 2000

9

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Using lattice theory in higher order logic

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 792 KB

english, 1996

10

[ACM Press the 5th annual SIGCSE/SIGCUE ITiCSEconference - Helsinki, Finland (2000.07.11-2000.07.13)] Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education - ITiCSE '00 - Distance tutorials in a systems design course

von Wright, Joakim

Рік:

2000

Мова:

english

Файл:

PDF, 275 KB

english, 2000

11

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Coq and hardware verification: A case study

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 732 KB

english, 1996

12

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Program derivation using the refinement calculator

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 802 KB

english, 1996

13

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Improving the result of high-level synthesis using interactive transformational design

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 781 KB

english, 1996

14

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A mechanisation of computability theory in HOL

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 753 KB

english, 1996

15

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A modular coding of UNITY in COQ

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 707 KB

english, 1996

16

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Proving liveness of fair transition systems

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 966 KB

english, 1996

17

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Set theory, higher order logic or both?

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 644 KB

english, 1996

18

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Five axioms of alpha-conversion

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 827 KB

english, 1996

19

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Modeling a hardware synthesis methodology in isabelle

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 992 KB

english, 1996

20

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A proof tool for reasoning about functional programs

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 765 KB

english, 1996

21

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Elements of mathematical analysis in PVS

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 810 KB

english, 1996

22

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Towards applying the composition principle to verify a microkernel operating system

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 920 KB

english, 1996

23

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A structure preserving encoding of Z in isabelle/HOL

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 867 KB

english, 1996

24

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Stålmarck’s algorithm as a HOL derived rule

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 693 KB

english, 1996

25

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Translating specifications in VDM-SL to PVS

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 799 KB

english, 1996

26

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Inference rules for programming languages with side effects in expressions

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 490 KB

english, 1996

27

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Deciding cryptographic protocol adequacy with HOL: The implementation

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 955 KB

english, 1996

28

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Formal verification of algorithm W: The monomorphic case

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 779 KB

english, 1996

29

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Importing mathematics from HOL into Nuprl

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 806 KB

english, 1996

30

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Higher-order annotated terms for proof search

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 745 KB

english, 1996

31

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Verification of compiler correctness for the WAM

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 739 KB

english, 1996

32

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Function definition in higher-order logic

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 840 KB

english, 1996

33

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A mizar mode for HOL

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 1.02 MB

english, 1996

34

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Implementation issues about the embedding of existing high level synthesis algorithms in HOL

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Файл:

PDF, 773 KB

1996

35

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A comparison of MDG and HOL for hardware verification

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 1016 KB

english, 1996

36

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Synthetic domain theory in type theory: Another logic of computable functions

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 893 KB

english, 1996